| 1. |
- Kanthabhabhajeya, Sathyamyla, 1985, et al.
(author)
-
Interface between SysML and Sequence Planner Language for Formal Verification
- 2013
-
In: 23rd Annual International Symposium of the International Council on Systems Engineering, INCOSE 2013. ; 1, s. 222-236
-
Conference paper (peer-reviewed)abstract
- This paper presents a method and software for interfacing Systems Modeling Language (SysML) and Sequence Planner Language (SPL). Exchange of information between different software tools is of major interest for modern manufacturing industries from early design to final implementation. SysML, with its structure as a common platform, can then be interfaced with other domain-specific modeling tools to achieve information exchange. This paper presents a method to interface SysML with a recently introduced language for operation sequences called Sequence Planner Language (SPL). By this method, necessary information from behavioral constructs of SysML model are extracted and structured in SPL. This language, being a formal, graphical language,can be used to formally verify the system for any blocking states. An academic and an industrial model developed in SysML are tested using the interface implementation and the results show that information from SysML can be visualized in SPL and formally verified to have no blocking states.
|
|
| 2. |
- Kanthabhabhajeya, Sathyamyla, 1985, et al.
(author)
-
Modeling and Optimization of Synchronous Behavior for Packaging Machines
- 2014
-
In: IFAC Proceedings Volumes (IFAC-PapersOnline). - 2405-8963. - 9783902823625 ; 19:1, s. 1684-1691
-
Conference paper (peer-reviewed)abstract
- This paper proposes a new modeling solution for the synchronous behavior of packaging machines, and a strategy for maximizing the production rate based on a formal model. A common modeling platform is recommended to handle information exchange and to develop a collaborative workflow, in this paper involving mechanical design and software development. The modeling solution for the synchronous behavior is developed in SysML (Systems Modeling Language), being the common platform. Then a formal modeling language called Sequence Planner Language (SPL) is interfaced with SysML, to overcome some limitations of SysML. The synchronous behavior of the packaging machine is also developed in SPL, from which the optimization problem is defined. The result of the optimization shows that it is possible to improve the efficiency of packaging machines with new configurations compared to more conventional design. The proposed strategy is evaluated for a filling machine at Tetra Pak.
|
|
| 3. |
- Kanthabhabhajeya, Sathyamyla, 1985, et al.
(author)
-
Optimal Performance of Modular and Synchronized Mechatronic Systems
- 2014
-
In: Emerging Technology and Factory Automation (ETFA), Spain 2014 IEEE. - 9781479948444 ; , s. 1- 7
-
Conference paper (peer-reviewed)abstract
- Optimizing the configuration and overall performance of synchronized modular systems is considered in this paper. The synchronized modules can be considered as a hybrid system, including continuous-time dynamics of local moving devices, combined with high-level discrete event sequences. The continuous-time trajectories are approximated by the Gauss pseudospectral method, resulting in a nonlinear programming (NLP) problem. The optimal configuration generates the maximal production rate subject to dynamic constraints. A complete design procedure is presented and applied to a case study of a packaging machine, where an alternative optimal configuration is achieved compared to current industrial practices.
|
|
| 4. |
- Kanthabhabhajeya, Sathyamyla, 1985, et al.
(author)
-
System Modeling Specification in SysML and Sequence Planner Language - Comparison Study
- 2012
-
In: IFAC Proceedings Volumes (IFAC-PapersOnline). - 2405-8963. - 9783902661982 ; 14:PART 1, s. 1543-1550
-
Conference paper (peer-reviewed)abstract
- This paper compares two languages, Systems Modeling Language(SysML) based on Unified Modeling Language and Sequence Planner Language, where both are used for systems engineering applications. As the modern manufacturing industries pass through a challenging period in storing and exchanging huge amounts of information/data, a common platform that is helpful in putting different parts together is of major interest. This paper presents an analysis of these two languages focusing on their behavioral constructs and details their advantages and disadvantages. This paper concludes by mentioning the points that are lacking in SysML, which could be solved by combining it with Sequence Planner Language and using the combined approach for system engineering applications.
|
|
| 5. |
- Thorstensson, Carl, 1984, et al.
(author)
-
Optimization of Discrete Event Systems Using Extended Finite Automata and Mixed-Integer Nonlinear Programming
- 2011
-
In: IFAC Proceedings Volumes (IFAC-PapersOnline). - 2405-8963. - 9783902661937 ; 18:PART 1, s. 6969-6975
-
Conference paper (peer-reviewed)abstract
- This paper presents a concept for converting a discrete event model, modeled with Extended Finite Automata (EFA), to mixed-integer linear constraints. The conversion handles the structure of modular EFAs, synchronization of EFAs using shared events and EFA execution order due to logical transition conditions. The paper also presents methods to reduce the number of variables and constraints by automatically analyzing the EFA model and the resulting problem formulation. An example of this is the special case of transition conditions used to model mutual exclusion of shared resources, where the conversion results in a significantly reduced problem formulation. The objective function is then built by summarizing weighted state cost functions and the result is a Mixed-Integer Nonlinear Programming problem. The main contribution of this paper is hence the combination of the simplicity in modeling a system with EFAs and an efficient formulation of the optimization problem that can be solved by standard optimization software.
|
|
